$\forall$$T$:Type, $P$:($T$$\rightarrow\mathbb{B}$), ${\it as}$:$T$ List, $d$:$T$. (first $a$ $\in$ ${\it as}$ s.t. $P$($a$) else $d$) $\in$ $T$